Skip to main navigation
Skip to search
Skip to main content
New Jersey Institute of Technology Home
Help & FAQ
Home
Profiles
Research units
Facilities
Federal Grants
Research output
Press/Media
Search by expertise, name or affiliation
Invariant assertions, invariant relations, and invariant functions
Olfa Mraihi
, Asma Louhichi
, Lamia Labed Jilani
, Jules Desharnais
,
Ali Mili
Computer Science
Office of the Dean - YWCC
Research output
:
Contribution to journal
›
Article
›
peer-review
15
Scopus citations
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Invariant assertions, invariant relations, and invariant functions'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Keyphrases
Invariant Functions
100%
Invariant Relations
100%
Invariant Assertions
100%
Relation Function
100%
Function Relationship
40%
While Loop
20%
Alternative Means
20%
Imperative Programs
20%
Alternatives Analysis
20%
Biochemistry, Genetics and Molecular Biology
Assertiveness
100%