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 ,
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.
Olderog, Ernst-Rüdiger
and
Meyer, Roland
2009.
Informatik als Dialog zwischen Theorie und Anwendung.
p.
217.
Olderog, Ernst-Rüdiger
and
Swaminathan, Mani
2010.
Formal Modeling and Analysis of Timed Systems.
Vol. 6246,
Issue. ,
p.
228.
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.
Platzer, André
2010.
Logical Analysis of Hybrid Systems.
p.
1.
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.
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.
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.
Moszkowski, Ben
2011.
Compositional Reasoning Using Intervals and Time Reversal.
p.
107.
Sampaio, Leonardo Rodrigues
Perkusich, Angelo
and
da Silva, Leandro Dias
2011.
Ladder programs validation through model-code traceability.
p.
276.
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.
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.
Platzer, Andre
2012.
Logics of Dynamical Systems.
p.
13.
Li, Wenbin
Hayes, Jane Huffman
and
Truszczyński, Mirosław
2012.
NASA Formal Methods.
Vol. 7226,
Issue. ,
p.
162.
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. ,
Muñiz, Marco
Westphal, Bernd
and
Podelski, Andreas
2012.
Formal Modeling and Analysis of Timed Systems.
Vol. 7595,
Issue. ,
p.
188.
Muñiz, Marco
Westphal, Bernd
and
Podelski, Andreas
2013.
Formal Modeling and Analysis of Timed Systems.
Vol. 8053,
Issue. ,
p.
198.