Crossref Citations
This Book has been
cited by the following publications. This list is generated based on data provided by Crossref.
Gu, Feng
Greensmith, Julie
and
Aickelin, Uwe
2009.
Exploration of the Dendritic Cell Algorithm with the Duration Calculus.
SSRN Electronic Journal ,
Olderog, Ernst-Rüdiger
and
Meyer, Roland
2009.
Informatik als Dialog zwischen Theorie und Anwendung.
p.
217.
Wang, Hanbo
Zhou, Xingshe
Dong, Yunwei
and
Tang, Lei
2009.
Modeling Timing Behavior for Cyber-Physical Systems.
p.
1.
Gu, Feng
Greensmith, Julie
and
Aickelin, Uwe
2009.
Artificial Immune Systems.
Vol. 5666,
Issue. ,
p.
54.
Platzer, André
2010.
Logical Analysis of Hybrid Systems.
p.
1.
Hakimipour, Niusha
Strooper, Paul
and
Wellings, Andy
2010.
TART: Timed-Automata to Real-Time Java Tool.
p.
299.
Liu, Jiang
Lv, Jidong
Quan, Zhao
Zhan, Naijun
Zhao, Hengjun
Zhou, Chaochen
and
Zou, Liang
2010.
Programming Languages and Systems.
Vol. 6461,
Issue. ,
p.
1.
Olderog, Ernst-Rüdiger
and
Swaminathan, Mani
2010.
Formal Modeling and Analysis of Timed Systems.
Vol. 6246,
Issue. ,
p.
228.
Sampaio, Leonardo Rodrigues
Perkusich, Angelo
and
da Silva, Leandro Dias
2011.
Ladder programs validation through model-code traceability.
p.
276.
Ramos, Diogo Branquinho
e Silva, Rovedy Aparecida Busquim
Costa, Inaldo Capistrano
Colonese, Emilia M.
and
de Oliveira, Jose Maria Parente
2011.
Modeling conflicts resolution of Unmanned Aircraft System using a lightweight Duration Calculus.
p.
5A6-1.
Moszkowski, Ben
2011.
Compositional Reasoning Using Intervals and Time Reversal.
p.
107.
Wan, H.
Chen, G.
Song, X.
and
Gu, M.
2011.
Formalisation and verification of programmable logic controllers timers in Coq.
IET Software,
Vol. 5,
Issue. 1,
p.
32.
Pour, Niusha Hakimi
Strooper, Paul
and
Wellings, Andy
2011.
A model‐based development approach for the verification of real‐time Java code.
Concurrency and Computation: Practice and Experience,
Vol. 23,
Issue. 13,
p.
1583.
Li, Wenbin
Hayes, Jane Huffman
and
Truszczyński, Mirosław
2012.
NASA Formal Methods.
Vol. 7226,
Issue. ,
p.
162.
Costa, I. C.
and
de Oliveira, J. M. P.
2012.
Modeling Unmanned Aircraft System conflicts resolution based on a real-time services approach.
p.
8A5-1.
Muñiz, Marco
Westphal, Bernd
and
Podelski, Andreas
2012.
Formal Modeling and Analysis of Timed Systems.
Vol. 7595,
Issue. ,
p.
188.
Herrera, Christian
Westphal, Bernd
Feo-Arenis, Sergio
Muñiz, Marco
and
Podelski, Andreas
2012.
Formal Modeling and Analysis of Timed Systems.
Vol. 7595,
Issue. ,
p.
155.
Platzer, Andre
2012.
Logics of Dynamical Systems.
p.
13.
Moszkowski, Ben
2012.
A Complete Axiom System for Propositional Interval Temporal Logic with Infinite Time.
Logical Methods in Computer Science,
Vol. Volume 8, Issue 3,
Issue. ,
Zhang, Yinsheng
2013.
Architecture and Performance Methods of a Knowledge Support System of Ubiquitous Time Computation.
Journal of Software,
Vol. 8,
Issue. 11,