Temat: "correct-by-design" - OpacWWW

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ę ""correct-by-design"" wg kryterium: Temat

Wyświetlanie 1-8 z 8

Zaznacz stronę

Skocz do pozycji: 1.

Informacja:: Dostęp do tej pozycji wymaga zalogowania się.

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Towards Interface-Driven Design of Evolving Component-Based Architectures
Autorzy:: Chen, Xin
Liu, Zhiming; Pokaż więcej
Źródło:: Provably Correct Systems. :121-148

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: The Journal Peer Review
Autorzy:: Starck, J. Matthias; Pokaż więcej
Źródło:: Scientific Peer Review : Guidelines for Informative Peer Review. :15-28

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: TT-BIP: Using Correct-by-Design BIP Approach for Modelling Real-Time System with Time-Triggered Paradigm
Autorzy:: Guesmi, Hela
Ben Hedia, Belgacem
Bliudze, Simon
Bensalem, Saddek
Le Nabec, Briag; Pokaż więcej
Źródło:: Verification and Evaluation of Computer and Communication Systems : 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24–25, 2017, Proceedings. 10466:171-188

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Verification of Networks of Smart Energy Systems over the Cloud
Autorzy:: Abate, Alessandro; Pokaż więcej
Źródło:: Numerical Software Verification : 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers. 10152:1-14

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 6.

Informacja:: Dostęp do tej pozycji wymaga zalogowania się.

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 7.

Informacja:: Dostęp do tej pozycji wymaga zalogowania się.

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 8.

Informacja:: Dostęp do tej pozycji wymaga zalogowania się.

Czasopismo naukowe

na półce

Szczegóły

Wyświetlanie 1-8 z 8

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

Informacja

Wyszukujesz frazę ""correct-by-design"" wg kryterium: Temat

Źródło danych

Ogranicz do:

Ogranicz do bazy

Typ dokumentu

Temat

Wydawca

Publikacja

Język