Travelled to:1 × Germany
1 × Spain
Collaborated with:G.Ciobanu
Talks about:time (2) properti (1) membran (1) verifi (1) uppaal (1) system (1) migrat (1) rtimo (1) petri (1) delay (1)
Person: Bogdan Aman
DBLP: Aman:Bogdan
Contributed to:
2013
2011Wrote 2 papers:
- SEFM-2013-AmanC #migration #realtime
- Real-Time Migration Properties of rTiMo Verified in Uppaal (BA, GC), pp. 31–45.
- QAPL-2011-AmanC #petri net
- Time Delays in Membrane Systems and Petri Nets (BA, GC), pp. 47–60.