Login / Signup

Formal Modeling and Analysis of Probabilistic Real-Time Systems.

Christian NigroLibero NigroPaolo F. Sciammarella
Published in: ICICT (1) (2019)
Keyphrases
  • real time systems
  • artificial intelligence
  • case study
  • probabilistic model
  • open source