Formal Techniques in Real-Time and Fault-Tolerant Systems: 6th International Symposium, FTRTFT 2000 Pune, India, September 20-22, 2000 Proceedings

Front Cover
Mathai Joseph
Springer, Jul 31, 2003 - Computers - 314 pages
This book constitutes the refereed proceedings of the 6th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2000, held in Pune, India in September 2000. The 21 revised full papers presented together with three invited contributions were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on model checking, fault tolerance, scheduling, validation, verification, logic and automata.

What people are saying - Write a review

User Review - Flag as inappropriate

Property Company of Friends, Inc. was put up last 1999 by a group of friends.[who?]
Constructing homes with precast concrete technology.[6]
“Department Profriends “
Bellefort Estates
Bellefort Estates is 110-hectare estate owned and developed by PRO-FRIENDS, it is the first subdivision in the Molino, Cavite.
Carmona Estates
Carmona Estates in Brgy. Lantic is a sprawling development that is 87 hectares large
Lancaster New City
Imagine spending more time with your family because everything you need is within reach. Welcome to LANCASTER NEW CITY
“Board members”
Real Estate Management and Development
Company Overview of Profriends Group Inc.
OverviewBoard MembersCommittees
Key Executives For Profriends Group Inc.
Name Board Relationships Title Age
Guillermo C. Choa
7 Relationships
Chairman, Chief Executive Officer, President, Member of Audit & Risk Management Committee, Member of Nomination Committee and Member of Compensation Committee 56
Joseph M. Dolina
No Relationships Chief Finance Officer, Senior Vice President and Treasurer 52
Augusto G. Leonardo
No Relationships Chief Operating Officer --
Jocelyn L. Guzman
7 Relationships
Chief Executive Officer of Pro-Friends, President of Pro-Friends and Director of Pro-Friends --
Vince Lawrence L. Abejo
No Relationships Head of Group Marketing & Analytics and Senior Vice President of Williamton 43
View More Key Executives
Profriends Group Inc. Board Members*
Name Board Relationships Primary Company Age
Guillermo C. Choa
7 Relationships
Profriends Group Inc. 56
Carina S. Choa
7 Relationships
Profriends Group Inc. 29
Jocelyn L. Guzman
7 Relationships
Profriends Group Inc. --
Monico V. Jacob
94 Relationships
STI Education Systems Holdings, Inc. 71
Joey A. Bermudez
7 Relationships
Profriends Group Inc. 61
View All Board Members
Profriends Group Inc. Executive Committees*
Committee Name Chairperson Board Relationships Members
Audit Committee
Monico V. Jacob
94 Relationships
3 Executives
Compensation Committee
Joey A. Bermudez
7 Relationships
3 Executives
Nominating Committee
Joey A. Bermudez
7 Relationships
3 Executives


Stability of Discrete Sampled Systems
Challenges in the Verification of Electronic Control Units
Decidable Model Checking of Probabilistic Hybrid Automata
Fault Tolerance
Threshold and BoundedDelay Voting in Critical Control Systems
Reliability Modelling of TimeCritical Distributed Systems
A Dual Interpretation of Standard Constraints in Parametric Scheduling
A System for Object Code Validation
RealTime Program Refinement Using Auxiliary Variables
Generalizing Action Systems to Hybrid Systems
Modelling Coordinated Atomic Actions in Timed CSP
Using Cylindrical Algebraic Decomposition for the Analysis of Slope
An OntheFly Tableau Construction for a RealTime Temporal Logic
Verifying Universal Properties of Parameterized Networks

Other editions - View all

Common terms and phrases

Bibliographic information