getHPinfo - what's that site running?
The Domain convecs.inria.fr is hosted in France and is using Apache as serversoftware.
Search for similar domains, which are still free to register.
Advertisement
Geo-Informations | ||
| Latitude | 45.1667 | |
| Longtitude | 5.7167 | |
| Country | France | |
How did convecs.inria.fr look in the past via web.archive.org
| First seen | 23.11.2022 22:56:10 | |
| Reg-Created | 01.01.1978 | |
| Reg-Expire | 01.01.1978 | |
| Domainname | convecs.inria.fr | |
| Root-Domain | inria.fr (more) | |
| Serversoftware | Apache (more) | |
| external Links on landingpage | 0 | |
| Description | this site has no description | |
| Keywords | INRIA, CONVECS, CADP, TRAIAN, ACTL, CTL, E-LOTOS, HML, Kripke structure, LOTOS, Markov chain, Petri net, alternation-free mu-calculus, analysis, asynchronous concurrency, asynchronous system, automata, automaton, behaviour restriction, bisimulation, boolean equation system, branching bisimulation, cache coherence, code generation, communication protocol, compilation, compiler, compiling, compositional verification, concurrency, concurrent behaviour, concurrent process, concurrent system, conformance testing, critical application, critical system, deadlock detection, diagnostic generation, distributed algorithm, distributed application, distributed system, embedded system, enumerative verification, equivalence checking, error detection, exhaustive verification, finite state machine, formal description technique, formal methods, formal model, formal specification, formal verification, graph edition, graph format conversion, graph format, graph visualization, graphical simulation, graphical user interface, guided simulation, interactive simulation, intermediate format, label hiding, label renaming, labeled transition system, labelled transition system, language, liveness property, liveness, minimization, model checking, model, modelling, mu-calculus, multiprocessor architecture, network of communicating automata, observational equivalence, on-the-fly verification, parallel architecture, parallel composition, parallel programming, parallelism, preorder checking, probabilistic labeled transition system, process algebra, program verification, programming interface, protocol engineering, random execution, rapid prototyping, reachability analysis, real time, restriction interface, safety equivalence, safety property, safety, script, security, semantics, simulation, software engineering, specification, state space exploration, static analysis, stochastic system, strong bisimulation, synchronisation, synchronization product, synchronization, system design, temporal logic, test case, test generation, test purpose, test, testing, validation, verification, visualisation, visualization | |
| IP-Adresses |
194.199.18.242 (more) (FR) | |
Headerinformations | ||
| Connection | close | |
| Accept-Ranges | bytes | |
| Server | Apache | |
| Content-Length | 8092 | |
| Content-Type | text/html; charset=ISO-8859-1 | |
| Last-Modified | Tue, 08 Nov 2022 08:34:22 GMT | |
| Strict-Transport-Security | max-age=31536000; includeSubDomains; preload | |
| X-Frame-Options | SAMEORIGIN, sameorigin | |
DNS-Informations | ||
| Rootdomain-DNS-Server |
dns-ext2.inria.fr (more) ns2.nic.fr (more) dns.inria.fr (more) dns.cs.wisc.edu (more) | |
Miscellaneous | ||
| last update | 23.11.2022 23:00:12 | |
| Illegal data? | Report illegal data >HERE< | |
| getHPinfo.com dissociates itself from any content on the website convecs.inria.fr. The content is the sole responsibility of the operator. getHPinfo.com has no influence on the content of convecs.inria.fr. getHPinfo.com only shows publicly freely accessible data here. | ||
Please donate us!
BTC: 31k8JV8xnpCw1RmyxBjuJJ8dmq8KjfmgTm
ETH: 0xf645e11d0eb2c86143b71ce30ec7aec3f7a31a7e
LTC: M8sU5Vj4HGW6FEkgKg1aTfjk8QS5HfDkAk