Home
Publishing
DrugRxiv
Drug Repurposing
Network Medicine
About
REPO4EU
Meet the team
Drug Repurposing Research Collection
Conference
Blog
My ScienceOpen
Sign in
Register
Dashboard
Search
Home
Publishing
DrugRxiv
Drug Repurposing
Network Medicine
About
REPO4EU
Meet the team
Drug Repurposing Research Collection
Conference
My ScienceOpen
Sign in
Register
Dashboard
Search
16
views
1
references
Top references
cited by
1
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
2,712
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
HYTECH — Linear Hybrid Systems
other
Author(s):
Béatrice Bérard
,
Michel Bidoit
,
Alain Finkel
,
François Laroussinie
,
Antoine Petit
,
Laure Petrucci
,
Philippe Schnoebelen
,
Pierre Mckenzie
Publication date
(Print):
2001
Publisher:
Springer Berlin Heidelberg
Read this book at
Publisher
Buy book
Review
Review book
Invite someone to review
Bookmark
Cite as...
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Socioecological systems
Most cited references
1
Record
: found
Abstract
: not found
Book
: not found
Proc. Hybrid Systems II, Ithaca, NY, USA, Oct. 1994, volume 999 of Lecture Notes in Computer Science, pages 265-293. Springer
TA Henzinger
(1995)
0
comments
Cited
1
times
– based on
0
reviews
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
2001
Pages
: 169-177
DOI:
10.1007/978-3-662-04558-9_17
SO-VID:
64df695e-1eaf-4266-be72-8e5435599f05
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 5
Automata
pp. 27
Temporal Logic
pp. 39
Model Checking
pp. 47
Symbolic Model Checking
pp. 59
Timed Automata
pp. 79
Reachability Properties
pp. 83
Safety Properties
pp. 91
Liveness Properties
pp. 99
Deadlock-freeness
pp. 103
Fairness Properties
pp. 109
Abstraction Methods
pp. 131
SMV — Symbolic Model Checking
pp. 139
SPIN — Communicating Automata
pp. 145
DESIGN/CPN — Coloured Petri Nets
pp. 153
UPPAAL — Timed Systems
pp. 161
KRONOS — Model Checking of Real-time Systems
pp. 169
HYTECH — Linear Hybrid Systems
Similar content
2,712
PHAVer: algorithmic verification of hybrid systems past HyTech
Authors:
Goran Frehse
Hybrid-mode driven dual-band absorber in long-wave infrared with a phase-gradient metasurface
Authors:
Xiaoyan Li
,
Xiang Ye
,
Guanhai Li
…
Linear motifs regulating protein secretion, sorting and autophagy in Leishmania parasites are diverged with respect to their host equivalents
Authors:
Andras Zeke
,
Toby J. Gibson
,
Laszlo Dobson
See all similar
Cited by
1
A Comparative Assessment of Collaborative Business Process Verification Approaches
Authors:
John Paul Kasse
,
Lai Xu
,
Paul de Vrieze
See all cited by