ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
Discounted Duration Calculus
FM 2016: Formal Methods - Lecture Notes in Computer Science
◽
10.1007/978-3-319-48989-6_35
◽
2016
◽
pp. 577-592
Author(s):
Heinrich Ody
◽
Martin Fränzle
◽
Michael R. Hansen
Keyword(s):
Duration Calculus
Download Full-text
Related Documents
Cited By
References
Robust Controller Synthesis for Duration Calculus
Automated Technology for Verification and Analysis - Lecture Notes in Computer Science
◽
10.1007/978-3-030-59152-6_24
◽
2020
◽
pp. 429-446
Author(s):
Kalyani Dole
◽
Ashutosh Gupta
◽
Shankara Narayanan Krishna
Keyword(s):
Controller Synthesis
◽
Robust Controller
◽
Duration Calculus
Download Full-text
A Robust Interpretation of Duration Calculus
Theoretical Aspects of Computing – ICTAC 2005 - Lecture Notes in Computer Science
◽
10.1007/11560647_17
◽
2005
◽
pp. 257-271
◽
Cited By ~ 6
Author(s):
Martin Fränzle
◽
Michael R. Hansen
Keyword(s):
Duration Calculus
Download Full-text
Semantics and completeness of Duration Calculus
Real-Time: Theory in Practice - Lecture Notes in Computer Science
◽
10.1007/bfb0031994
◽
1992
◽
pp. 209-225
◽
Cited By ~ 26
Author(s):
Michael R. Hansen
◽
Zhou Chaochen
Keyword(s):
Duration Calculus
Download Full-text
Duration Calculus
Duration Calculus - Monographs in Theoretical Computer Science An EATCS Series
◽
10.1007/978-3-662-06784-0_3
◽
2004
◽
pp. 41-65
◽
Cited By ~ 2
Author(s):
Zhou Chaochen
◽
Michael R. Hansen
Keyword(s):
Duration Calculus
Download Full-text
Towards a formal semantics of verilog using duration calculus
Lecture Notes in Computer Science - Formal Techniques in Real-Time and Fault-Tolerant Systems
◽
10.1007/bfb0055355
◽
1998
◽
pp. 282-293
◽
Cited By ~ 7
Author(s):
Gerardo Schneider
◽
Qiwen Xu
Keyword(s):
Formal Semantics
◽
Duration Calculus
Download Full-text
Tableau-Based Automated Deduction for Duration Calculus
Lecture Notes in Computer Science - Automated Reasoning with Analytic Tableaux and Related Methods
◽
10.1007/3-540-45616-3_5
◽
2002
◽
pp. 53-69
◽
Cited By ~ 1
Author(s):
Nathalie Chetcuti-Sperandio
Keyword(s):
Automated Deduction
◽
Duration Calculus
Download Full-text
Duration calculus specification of scheduling for tasks with shared resources
Algorithms, Concurrency and Knowledge - Lecture Notes in Computer Science
◽
10.1007/3-540-60688-2_56
◽
1995
◽
pp. 365-380
◽
Cited By ~ 6
Author(s):
Philip Chan
◽
Dang Van Hung
Keyword(s):
Shared Resources
◽
Duration Calculus
Download Full-text
Completeness of Higher-Order Duration Calculus
Computer Science Logic - Lecture Notes in Computer Science
◽
10.1007/3-540-44622-2_30
◽
2000
◽
pp. 442-456
◽
Cited By ~ 2
Author(s):
Zhan Naijun
Keyword(s):
Higher Order
◽
Duration Calculus
Download Full-text
Completeness and Decidability of a Fragment of Duration Calculus with Iteration
Advances in Computing Science — ASIAN’99 - Lecture Notes in Computer Science
◽
10.1007/3-540-46674-6_13
◽
1999
◽
pp. 139-150
◽
Cited By ~ 6
Author(s):
Dang Van Hung
◽
Dimitar P. Guelev
Keyword(s):
Duration Calculus
Download Full-text
Specifying Real-Time Systems with Z and the Duration Calculus
Z User Workshop, Cambridge 1994 - Workshops in Computing
◽
10.1007/978-1-4471-3452-7_17
◽
1994
◽
pp. 282-294
◽
Cited By ~ 4
Author(s):
Marcin Engel
Keyword(s):
Real Time
◽
Real Time Systems
◽
Duration Calculus
◽
Time Systems
Download Full-text
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close