Enhanced engineering of component-based industrial automation systems using formal methods [Elektronisk resurs]
-
Patil, Sandeep, 1983- (författare)
-
Vyatkin, Valeriy (preses)
-
Frey, Georg (opponent)
-
Luleå tekniska universitet Institutionen för system- och rymdteknik (utgivare)
- ISBN 9789177900832
- Publicerad: Luleå : Luleå tekniska universitet, 2018
- Engelska 300
-
Serie: Doctoral thesis / Luleå University of Technology 1 jan 1997 → …, 1402-1544
-
Läs hela texten
-
Läs hela texten
Ämnesord
Stäng
Ämnesord
- Engineering and Technology (hsv)
- Electrical Engineering, Electronic Engineering, Information Engineering (hsv)
- Computer Systems (hsv)
- Teknik och teknologier (hsv)
- Elektroteknik och elektronik (hsv)
- Datorsystem (hsv)
- Natural Sciences (hsv)
- Computer and Information Sciences (hsv)
- Computer Sciences (hsv)
- Naturvetenskap (hsv)
- Data- och informationsvetenskap (hsv)
- Datavetenskap (datalogi) (hsv)
- Dependable Communication and Computation Systems (ltu)
- Kommunikations- och beräkningssystem (ltu)
Inställningar
Hjälp
Titeln finns på 1 bibliotek.
Ange som favorit