Crossref Citations
This Book has been
cited by the following publications. This list is generated based on data provided by Crossref.
Alonso, Diego
Vicente-Chicote, Cristina
Pastor, Juan A.
and
Álvarez, Bárbara
2008.
Reliable Software Technologies – Ada-Europe 2008.
Vol. 5026,
Issue. ,
p.
158.
Moore, Brad J.
2008.
Distributed status monitoring and controlusing remote buffers and Ada 2005.
ACM SIGAda Ada Letters,
Vol. 28,
Issue. 3,
p.
109.
Cheng, Jingde
2009.
Uncertainty Problem in Dynamic Slicing of Concurrent Programs.
p.
241.
Burns, Alan
Wellings, Andy J.
and
Zhang, Fengxiang
2009.
Reliable Software Technologies – Ada-Europe 2009.
Vol. 5570,
Issue. ,
p.
119.
Cucinotta, Tommaso
and
Faggioli, Dario
2010.
An exception based approach to timing constraints violations in real-time and multimedia applications.
p.
136.
Moore, Brad J.
2010.
Parallelism generics for Ada 2005 and beyond.
ACM SIGAda Ada Letters,
Vol. 30,
Issue. 3,
p.
41.
Moore, Brad J.
2010.
Parallelism generics for Ada 2005 and beyond.
p.
41.
Hakimipour, Niusha
Strooper, Paul
and
Wellings, Andy
2010.
TART: Timed-Automata to Real-Time Java Tool.
p.
299.
Nahas, Mouaaz
2011.
Employing Two ‘Sandwich Delay’ Mechanisms to Enhance Predictability of Embedded Systems Which Use Time-Triggered Co-Operative Architectures.
Journal of Software Engineering and Applications,
Vol. 04,
Issue. 07,
p.
417.
Szpyrka, Marcin
Matyasik, Piotr
and
Mrówka, Rafał
2011.
Intelligent Decision Systems in Large-Scale Distributed Environments.
Vol. 362,
Issue. ,
p.
315.
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.
Kotulski, Leszek
Szpyrka, Marcin
and
Sedziwy, Adam
2011.
Knowledge-Based and Intelligent Information and Engineering Systems.
Vol. 6881,
Issue. ,
p.
180.
Moore, Bradley J.
2011.
Stack safe parallel recursion with paraffin.
ACM SIGAda Ada Letters,
Vol. 31,
Issue. 3,
p.
27.
Masson, Damien
and
Midonnet, Serge
2012.
Distributed, Embedded and Real-time Java Systems.
p.
45.
Dibble, Peter
Hunt, James J.
and
Wellings, Andy J.
2012.
Distributed, Embedded and Real-time Java Systems.
p.
129.
Matyasik, Piotr
Szpyrka, Marcin
Wypych, Michal
and
Biernacki, Jerzy
2016.
Communication between agents in Alvis language.
p.
448.
2017.
Real‐Time Embedded Systems.
p.
127.
Erciyes, K.
2019.
Distributed Real-Time Systems.
p.
251.
Merkin-Janson, Leonid Al'bertovich
Rezin, Ruslan Maratovich
and
Vasilyev, Nikolay Konstantinovich
2020.
Architecture of the Formally-Verified Distributed Ledger System InnoChain.
Modeling and Analysis of Information Systems,
Vol. 27,
Issue. 4,
p.
472.
Merkin, Leonid
Rezin, Ruslan
and
Vasilyev, Nikolay
2021.
Informatics and Cybernetics in Intelligent Systems.
Vol. 228,
Issue. ,
p.
96.