Showing
1 - 1
results of
1
Skip to content
Texas A&M University Libraries
MyLibrary
Help
Libraries Catalog
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Find
Advanced
Author
FTRTFT 2004
Search Results - FTRTFT 2004
Showing
1 - 1
results of
1
Refine Results
Sort
Relevance
Publish Date (newest first)
Publish Date (oldest first)
Call Number
Author
Title
1
Formal techniques, modelling and analysis of timed and fault-tolerant systems : joint international conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and...
Published 2004
“
...
FTRTFT 2004
...
”
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
Connect to the full text of this electronic book
Conference Proceeding
eBook
Search Tools:
RSS Feed
Email Search
Related Subjects
Automate temporel
Automates mathématiques, Théorie des
Automates temporels
Computer simulation
Echtzeitsystem
Fault-tolerant computing
Fehlertoleranz
Formal methods (Computer science)
Formale Methode
Machine theory
Model-checking (Informatique)
Méthode formelle
Méthodes formelles (Informatique)
Real-time data processing
Simulation par ordinateur
Temporal automata
Temps réel
Théorie des automates
Tolérance aux fautes (Informatique)
Traitement en temps réel
Zeitbehafteter Automat
Zeitbewertetes Petri-Netz
Zeitdiskretes System
Loading...