Skip to content
  • Tentang IOS
  • Join Us
  • Hubungi Kami
  • Organisasi Mitra
  • Akun Anda
  • Keluar
  • Masuk
  • Bahasa Indonesia
    • Bahasa Indonesia
    • English
Lanjutan
  • Cari:
  • Koleksi Nasional
Menampilkan 1 - 3 of 3 untuk pencarian: '', lama mencari: 0.24s
Daftar  Grid  Visual 
Cover Image
Data for paper "Parametric schedulability analysis of a launcher flight control system under reactivity constraints"
info dataset Journal
oleh André, Étienne, Coquard, Emmanuel, Fribourg, Laurent, Jerray, Jawher, Lesens, David
Terbitan: 2021
Institusi: ZAIN Publications
Gedung: Cognizance Journal of Multidisciplinary Studies
Lokasi Repository IOS Number
StockholmCognizance Journal of Multidisciplinary StudiesIOS16997.5042059
Available online:
Get online
Favorit
Tersimpan di:
Cover Image
Data for paper "Zone extrapolations in parametric timed automata"
info dataset Journal
oleh Johan Arcile, Étienne André
Terbitan: 2022
Institusi: ZAIN Publications
Gedung: Cognizance Journal of Multidisciplinary Studies
Lokasi Repository IOS Number
StockholmCognizance Journal of Multidisciplinary StudiesIOS16997.5824264
Available online:
Get online
Favorit
Tersimpan di:
Cover Image
The IMITATOR benchmarks library 2.0: A benchmarks library for extended parametric timed automata
info dataset Journal
oleh Étienne André, Dylan Marinho, Jaco van de Pol
Terbitan: 2021
Institusi: ZAIN Publications
Gedung: Cognizance Journal of Multidisciplinary Studies
Lokasi Repository IOS Number
StockholmCognizance Journal of Multidisciplinary StudiesIOS16997.4730980
Available online:
Get online
Favorit
Tersimpan di:
Search Tools: Get RSS Feed — Email this Search — Save Search

Persempit Pencarian

Hapus Filter
Topik: parametric timed automata
Sektor
3 Library Special 3
Institusi
3 ZAIN Publications
Koleksi
3 Cognizance Journal of Multidisciplinary Studies
Format
3 Journal Journal 3 3 Other Dataset 3 Info 3
Topik
3 model checking parametric timed automata 2 timed automata 1 IMITATOR 1 benchmarks 1 hybrid automata more ... 1 imitator 1 parameter synthesis 1 real-time systems 1 schedulability analysis 1 verification 1 zone extrapolation less ...
Pengarang
2 Étienne André 1 André, Étienne 1 Coquard, Emmanuel 1 Dylan Marinho 1 Fribourg, Laurent 1 Jaco van de Pol more ... 1 Jerray, Jawher 1 Johan Arcile 1 Lesens, David less ...
Tahun
2 2021 1 2022

Opsi Pencarian

  • Sejarah Pencarian
  • Pencarian Lanjut

Temukan Lebih Banyak

  • Penelusuran Katalog
  • Penelusuran Alfabetis

Butuh Bantuan?

  • Tips Pencarian
  • Admin
  • Hubungi Kami
© 2025 Perpustakaan Nasional Republik Indonesia
Loading...