Skip to Main Content (Press Enter)
×
Home
Corsi
Insegnamenti
Professioni
Persone
Pubblicazioni
Strutture
Terza Missione
Attività
Competenze
IT
EN
☰
UNI-FIND
|
UNI-FIND
uninsubria.it
IT
EN
×
Home
Corsi
Insegnamenti
Professioni
Persone
Pubblicazioni
Strutture
Terza Missione
Attività
Competenze
☰
Pubblicazioni
LECTURE NOTES IN COMPUTER SCIENCE
Serie
Codice:
E214442
ISSN:
1611-3349
Dati Generali
Dati Generali
Pubblicazioni (9)
A calculus of cyber-physical systems
Contributo in Atti di convegno
A semantic theory of the internet of things (Extended abstract)
Contributo in Atti di convegno
Can my test case run on your test plant? A logic-based compliance check and its evaluation on real data
Contributo in Atti di convegno
Perceptron connectives in knowledge representation
Contributo in Atti di convegno
Privacy-preserving distributed support vector machines
Capitolo di libro
Requirements Analysis and Modeling with Problem Frames and SysML: A Case Study
Contributo in Atti di convegno
Tagging ontologies with fuzzy WordNet Domains
Contributo in Atti di convegno
Testing and evaluating a secure-aware pub&sub protocol in a fog-driven IoT environment
Contributo in Atti di convegno
Tractional Motion Machines: Tangent Managing Planar Mechanisms As Analog Computers And Educational Artefacts
Contributo in Atti di convegno
No Results Found
