Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę ""Joloboff, Vania"" wg kryterium: Autor


Wyświetlanie 1-9 z 9
Tytuł:
Virtual Prototyping of Embedded Systems: Speed and Accuracy Tradeoffs
Autorzy:
Joloboff, Vania
Gerstlauer, Andreas
Pokaż więcej
Źródło:
Cyber-Physical System Design from an Architecture Analysis Viewpoint : Communications of NII Shonan Meetings. :1-31
Książka elektroniczna
Tytuł:
PSCV: A Runtime Verification Tool for Probabilistic SystemC Models
Autorzy:
Ngo, Van Chan
Legay, Axel
Joloboff, Vania
Pokaż więcej
Źródło:
Computer Aided Verification : 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I. 9779:84-91
Książka elektroniczna
Tytuł:
Towards Verified Faithful Simulation
Autorzy:
Joloboff, VaniaAff16, Aff17, Aff18
Monin, Jean-François
Shi, Xiaomu
Pokaż więcej
Źródło:
Dependable Software Engineering: Theories, Tools, and Applications : First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings. 9409:105-119
Książka elektroniczna
    Wyświetlanie 1-9 z 9

    Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies