Personensuche
X
?
IGARSS 2023 - 2023 IEEE International Geoscience and Remote Sensing Symposium ,
1
An Unsupervised Method for the Detection of and Tracking of..:
, In:
?
IGARSS 2023 - 2023 IEEE International Geoscience and Remote Sensing Symposium ,
2
The New Capella Space Satellite Generation: Acadia:
, In:
?
Proceedings of the 4th FME Workshop on Formal Methods in Software Engineering ,
3
Undertaking the tokeneer challenge in event-b:
, In:
?
2016 IEEE/ACM 4th FME Workshop on Formal Methods in Software Engineering (FormaliSE) ,
4
Undertaking the Tokeneer Challenge in Event-B:
, In:
?
Proceedings of the 29th Annual ACM Symposium on Applied Computing ,
5
Translating event-B to JML-specified Java programs:
, In:
?
Proceedings of the Second International Workshop on Developing Tools as Plug-Ins ,
6
The EventB2Dafny rodin plug-in:
, In:
?
Proceedings of the 27th Annual ACM Symposium on Applied Computing ,
7
Translating B machines to JML specifications:
, In:
?
2023 Mexican International Conference on Computer Science (ENC) ,
8
APINET: A Methodology for Deploying Deep and Machine Learni..:
, In:
?
Marketing and Smart Technologies; Smart Innovation, Systems and Technologies ,
9
Bibliometrics and Science Mapping of Digital Marketing:
, In:
?
Advances in Intelligent Systems and Computing; Advances in Human Factors, Business Management and Leadership ,
10
Lean Manufacturing Model of Production Management Under the..:
, In:
?
2023 JNIC Cybersecurity Conference (JNIC) ,
11