Integrating refinement-based methods for developing timed systems

Vain, Jüri; Tsiopoulos, Leonidas; Bostöm, Pontus (2016). Integrating refinement-based methods for developing timed systems. In: Petre, L.; Sekerinski, E. (Ed.). From Action Systems to Distributed Systems : The Refinement Approachh (171−185). Boca Raton: CRC Press.10.1201/b20053-17.
kogumikuartikkel/peatükk raamatus/kogumikus
Vain, Jüri; Tsiopoulos, Leonidas; Bostöm, Pontus
  • Inglise
From Action Systems to Distributed Systems : The Refinement Approachh
Petre, L.; Sekerinski, E.
Boca Raton
CRC Press
978-1-4987-0158-7
2016
171185
Ilmunud
3.1. Artiklid/peatükid lisas loetletud kirjastuste välja antud kogumikes (kaasa arvatud Thomson Reuters Book Citation Index, Thomson Reuters Conference Proceedings Citation Index, Scopus refereeritud kogumikud)

Viited terviktekstile

doi.org/10.1201/b20053-17