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.
Artificial Immune Systems.
Vol. 5666,
Issue. ,
p.
54.
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.
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.
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.
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.
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.
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.
Platzer, Andre
2012.
Logics of Dynamical Systems.
p.
13.
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.
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.
Li, Chenling
Li, KaiCheng
Tang, Tao
Lv, JiDong
and
Huang, Ling
2013.
Model-based generation of safety test-cases for Onboard systems.
p.
191.