A Joint Development of Coloured Petri Nets and the B Method in Critical Systems
| Main Authors: | Sun, Pengfei, Bon, Philippe, Collart-Dutilleul, Simon |
|---|---|
| Format: | Article Journal |
| Terbitan: |
Journal of Universal Computer Science
, 2015
|
| Subjects: | |
| Online Access: |
https://zenodo.org/record/5505867 |
Internet
https://zenodo.org/record/5505867Lokasi
| Koleksi | Cognizance Journal of Multidisciplinary Studies |
|---|---|
| Gedung | Cognizance Journal of Multidisciplinary Studies |
| Institusi | ZAIN Publications |
| Kota | Stockholm |
| Provinsi | INTERNASIONAL |
| Kontak | Butuh informasi lebih lanjut? Hubungi pustakawan institusi ini. |